Model checking mobile stochastic logic

The Temporal Mobile Stochastic Logic (MoSL) has been introduced in previous work by the authors for formulating properties of systems specified in StoKlaim, a Markovian extension of Klaim. The main purpose of MoSL is to address key functional aspects of global computing such as distribution awareness, mobility, and security and their integration with performance and dependability guarantees. In this paper, we present MoSL⁺${\text{<small-caps>MoSL</small-caps>}}^{+}$, an extension of MoSL, which incorporates some basic features of the Modal Logic for MObility (MoMo), a logic specifically designed for dealing with resource management and mobility aspects of concurrent behaviours. We also show how MoSL⁺${\text{<small-caps>MoSL</small-caps>}}^{+}$ formulae can be model-checked against StoKlaim specifications. For this purpose, we show how existing state-based stochastic model-checkers, like e.g. the Markov Reward Model Checker (MRMC), can be exploited by using a front-end for StoKlaim that performs appropriate pre-processing of MoSL⁺${\text{<small-caps>MoSL</small-caps>}}^{+}$ formulae. The proposed approach is illustrated by modelling and verifying a sample system.     

Robust feedforward design for a two-degrees of freedom controller

In this paper we address the problem of designing the feedforward block of a two degrees of freedom controller in the case of single input single output (SISO) discrete-time linear systems with model uncertainty. In this work the design of the feedforward filter is formulated as a robust model matching problem. First, a closed form solution of the optimal noncausal filter, which minimizes the worst-case model matching error for each ω[0,2π], is obtained. Then, suitable rational stable approximations of the optimal solution are derived either by means of causal filters or, when a preview of the reference signal is available, by means of noncausal FIR filters. The efficiency of the proposed method is tested on a simulated example.     

The BonaFide C Analyzer: automatic loop-level characterization and coverage measurement

The advent of multicore technologies has increased the interest in parallelization techniques for existing sequential applications. These techniques include the need of detecting loops that are good candidates for parallelization, and classifying all variables of these loops according to their use, a task surprisingly hard to be carried out manually. In this paper, we introduce the BonaFide C Analyzer, an XML-based framework that combines static analysis of source code with profiling information to generate complete reports regarding all loops in a C application, including loop coverage, loop suitability for parallelization, a classification of all variables inside loops based on their accesses, and other hurdles that restrict the parallelization. This information allows to analyze how particular language constructs are used in real-world applications, and helps the programmer to parallelize the code. To show the features of the framework, we present the results of an in-depth loop characterization of C applications that are part of the SPEC CPU2006 benchmark suite. Our study shows that 47.72 % of loops present in the applications analyzed are potentially parallelizable with existent parallel programming models such as OpenMP, while an additional 37.7 % of loops could be run in parallel with the help of runtime speculative parallelization techniques.     

Chemical modifications of lignocellulosic materials and their application for removal of cations and anions from aqueous solutions

This review discussed the last 10 years progress in the use of lignocellulosic materials chemically modified as low‐cost biosorbents. Thus, the chemical modifications, such as chemical pretreatment, oxidation, as well as the grafting of carboxyl groups, amines, amides, etc., on lignocellulosic fibers, that aim to increase the number of adsorption sites and maximize toxic metal ion adsorption capacity have been addressed. The literature presents results that indicated performances of biosorbents equal to or even higher than conventional methods and adsorbents. Many efforts have been concentrated on the improvements of these biosorbents through chemical modifications. However, some difficulties still exist, including the discharge of colored organic compounds resulting from the pretreatments and the development of fast, clean, and low‐cost synthesis of selective and multifunctional adsorbents. Thus, the challenge for future research is to find solutions to these difficulties in order to finally make lignocellulosics biosorbents that can replace conventional adsorbent materials. © 2015 Wiley Periodicals, Inc. J. Appl. Polym. Sci. 2016 , 133, 43286.     

The G Protein‐Coupled Receptor GPR17: Overview and Update

The GPR17 receptor is a G protein‐coupled receptor (GPCR) that seems to respond to two unrelated families of endogenous ligands: nucleotide sugars (UDP, UDP‐galactose, and UDP‐glucose) and cysteinyl leukotrienes (LTD₄, LTC₄, and LTE₄), with significant affinity at micromolar and nanomolar concentrations, respectively. This receptor has a broad distribution at the level of the central nervous system (CNS) and is found in neurons and in a subset of oligodendrocyte precursor cells (OPCs). Unfortunately, disparate results emerging from different laboratories have resulted in a lack of clarity with regard to the role of GPR17‐targeting ligands in OPC differentiation and in myelination. GPR17 is also highly expressed in organs typically undergoing ischemic damage and has various roles in specific phases of adaptations that follow a stroke. Under such conditions, GPR17 plays a crucial role; in fact, its inhibition decreases the progression of ischemic damage. This review summarizes some important features of this receptor that could be a novel therapeutic target for the treatment of demyelinating diseases and for repairing traumatic injury.     

Design,Synthesis, and in vitro Evaluation of Multivalent Drug Linkers for High‐Drug‐Load Antibody–Drug Conjugates

A series of novel multivalent drug linkers (MDLs) containing cytotoxic agents were synthesized and conjugated to antibodies to yield highly potent antibody–drug conjugates (ADCs) with drug/antibody ratios (DARs) higher than those typically reported in the literature (10 vs. ≈4). These MDLs contain two copies of a cytotoxic agent attached to biocompatible scaffolds composed of a branched peptide core and discrete polyethylene glycol (PEG) chains to enhance solubility and decrease aggregation. These drug linkers produced well‐defined ADCs, whose DARs could be accurately determined by LC–MS. Using this approach, ADCs with significantly lower aggregation and higher DAR than those of conventional drug linker design were obtained with highly hydrophobic cytotoxic agents such as monomethyldolastatin 10 (MMAD). The in vitro potencies of the MDL‐derived conjugates matched that of ADCs of similar DAR with conventional linkers, and the potency increased proportionally with drug loading. This approach may provide a means to prepare highly potent ADCs from a broader range of drugs, including those with lower cytotoxicity or poor solubility, which otherwise limits their use for antibody–drug conjugates. This may also provide a means to further improve the potency achievable with cytotoxins currently used in ADCs.     

Ultralow power voltage reference circuit for implantable devices in standard CMOS technology

An ultralow power CMOS voltage reference for body implantable devices is presented in this paper. The circuit core consists of only regular threshold voltage PMOS transistors, thus leading to a very reduced output voltage dispersion, defined as σ/μ, and extremely low power consumption. A mathematical model of the generated reference voltage was obtained by solving circuit equations, and its numerical solution has been validated by extensive electrical simulations using a commercial circuit simulator. The proposed solution incorporates a passive RC low-pass filter, to enhance power supply rejection (PSR) over a wide frequency range, and a speed-up section, to accelerate the switching-on of the circuit. The prototype was implemented in 0.18 μm standard CMOS technology and is able to operate with supply voltages ranging from 0.7 to 1.8 V providing a measured output voltage value of 584.2 mV at the target temperature of 36° C. The measured σ/μ dispersion of the reference voltage generated is 0.65% without the need of trimming. At the minimum supply of 0.7 V, the experimental power consumption is 64.5 pW, while the measured PSR is kept below –60 dB from DC up to the MHz frequency range.     

Role of surface chemistry and morphology in the reactive adsorption of metal ions on acid modified dry bean pods (Phaseolus vulgaris L.) organic polymers

The present study aimed at verifying the acid surface modification of dry bean pods subjected to alkaline pretreatment using tannic acid, poly(acrylic acid), and poly(acrylamide‐co‐acrylic acid) and evaluate their performances as adsorbents in the metal ions removal. Factorial design was used as a tool to study the variables that affects the modification processes. The results showed that there was an increase in the adsorption capacity after acidic changes, mainly for the tannic acid, achieving 45% increasing of removal of all metal ions. The variable pH had negative significant effect in the modification with tannic acid. When the modifying agent was the poly(acrylic acid), the variable initial concentration presented a positive significant effect. That means more poly(acrylic acid) was immobilized in the surface of the bean pod, resulting in higher capacity of adsorption. Temperature was significant variable in the modification with poly(acrylamide‐co‐acrylic acid), resulting in a strongly negative effect. Analyses of material characterization showed that soluble lipid fraction was removed after the alkaline treatment. Although no morphological changes were observed, there was an improving in the availability of the adsorbents sites after chemical modification. Further, the material exhibited thermal stability up to about 300 °C. © 2017 Wiley Periodicals, Inc. J. Appl. Polym. Sci. 2018 , 135, 45879.     

Cutting the energy bills of Internet Service Providers and telecoms through power management: An impact analysis

The energy consumption of the Information and Communication Technology (ICT) sector has been increasing recently; this sector is estimated to account for 2% of the total energy consumption. An even more aggressively increasing trend is the volume of Internet traffic and the number of connected devices. Thus, reducing the energy needs of the Internet is recognised as one of the main challenges that the ICT sector will have to face in the near future to reduce its overall energy footprint. Introducing energy-efficient techniques, both at the device level and the network level, is required.The main goal of this work is to quantitatively evaluate the potential energy savings from applying energy-efficient techniques, while examining the trade-off between network performance and the achieved energy savings.We introduce a categorisation of the energy-aware design space, focusing on the existing techniques in the device data plane, and contribute an analytical framework to represent the impact of energy-aware technologies and solutions for network devices. Our energy profile model represents the diverse energy-aware states of the network devices and is applied over two reference scenarios, one of a large-scale Telco (Telecom Italia) and one of a medium size Internet Service Provider (GRNET), to evaluate the impact of each energy-aware technology and the energy savings potential at the Home, Access, Metro/Transport and Core parts of each network.The results show the estimates of energy savings exceed 60% in many cases, while maintaining the same quality of service as in the energy-agnostic case.